home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / concurre.tar / concurrency / structdir < prev    next >
Encoding:
Text File  |  1993-07-05  |  47.9 KB  |  700 lines
  1. #     Structures Directory -- Email addresses of structure theorists
  2. #     Release 4.5, Jun 7, 1993
  3. #     Master copy: Boole.Stanford.EDU:~ftp/pub/structdir
  4. #     Maintainer: Vaughan Pratt, pratt@cs.stanford.edu
  5. #
  6. #
  7. # This is an email directory of logicians, algebraists, and programming
  8. # linguists working primarily on structural problems in mathematics and
  9. # computer science.  It is organized as a Unix aliases file and
  10. # may be appended directly to the aliases file that normally resides in
  11. # /usr/lib or /etc.  The most recent release of this directory may be
  12. # obtained at any time by anonymous ftp from Boole.Stanford.EDU as the
  13. # file /pub/structdir
  14. #
  15. # The purpose of this directory is to permit those listed in it to be
  16. # easily contacted individually by email.
  17. #
  18. # NOTICE: Please do not use any email address obtained from this
  19. # directory for other than the purpose stated above without first
  20. # obtaining the consent of the owner of that address.  Such proscribed
  21. # uses include adding an address obtained from this directory to a
  22. # mailing list used for broadcast mailings, and noting the fact of
  23. # inclusion in this directory in a profile of the included individual.
  24. #
  25. # The list observes the following conventions.  Column 1 is the alias,
  26. # which usually consists of the surname prefixed when necessary for
  27. # disambiguation with an initial or the whole first name.  It starts in
  28. # character column 1 and is restricted to the 26 characters a-z (no
  29. # capitals, digits, or punctuation), and usually includes any preceding
  30. # "de" or "van".  Column 2, which starts in character column 17, is the
  31. # email address in lower case with no %'s, and is either a regular
  32. # internet domain address, a .bitnet address, or a uucp address in !
  33. # format.  Column 3 is "(Forename" and column 4 the matching "Surname)".
  34. # The list is sorted by surname using the Unix sort command in the form
  35. # `sort +3` (sort ignoring the first three columns).  The "de" or "van"
  36. # if any is placed in whichever of columnn 3 or 4 achieves its owner's
  37. # preferred alphabetization.  Column 3 starts as close to column 57 as
  38. # possible subject to the other constraints and column 4 is separated
  39. # from column 3 by one space.  There are no tabs in the file, and no line
  40. # is longer than 79 characters.
  41. #
  42. # Although the directory contains no repeated aliases (column 1 entries),
  43. # the aliases file to which you append it may already contain aliases
  44. # that also appear here.  You should be aware that the resulting
  45. # conflicts will not be reported as such, but rather that the mailing
  46. # programs will select either the last or first repeated alias as the one
  47. # to use depending respectively on whether or not your mail system
  48. # preprocesses the aliases file for faster retrieval.
  49. #
  50. #                                   Vaughan Pratt
  51. #                                   Computer Science Department
  52. #                                   Stanford University
  53. #                                   Stanford, CA 94305
  54. #                                   pratt@cs.stanford.edu
  55. #                                   415-723-2943
  56.  
  57. #
  58. # People
  59. #
  60. abadi:          ma@src.dec.com                          (Martin Abadi)
  61. abiteboul:      abitebou@inria.inria.fr                 (Serge Abiteboul)
  62. abramsky:       sa@doc.ic.ac.uk                         (Samson Abramsky)
  63. aceto:          luca@cogs.sussex.ac.uk                  (Luca Aceto)
  64. aczel:          petera@cs.man.ac.uk                     (Peter Aczel)
  65. adamek:         adamek@math1.cvut.cs                    (Jiri Adamek)
  66. adams:          useradms@mtsg.ubc.ca                    (Bob Adams)
  67. adelman:        murray@macadam.mpce.mq.edu.au           (Murray Adelman)
  68. adler:          ara@lom1.math.yale.edu                  (Alan Adler)
  69. ait-kaci:       hak@decprl.dec.com                      (Hassan Ait-Kaci)
  70. aitchison:      iain@mundoe.munnari.edu.au              (Iain Aitchison)
  71. alimohamed:     moez@saul.cis.upenn.edu                 (Moez Alimohamed)
  72. altenkirch:     alti@dcs.ed.ac.uk                       (Thorsten Altenkirch)
  73. amadio:         amadio@loria.fr                         (Roberto Amadio)
  74. ambler:         sja@dcs.qmw.ac.uk                       (Simon Ambler)
  75. amnell:         amnell@klaava.helsinki.fi               (Marko Amnell)
  76. andersen:       nils@diku.dk                            (Nils Andersen)
  77. anderson:       anderson@bright.math.uoregon.edu        (Frank Anderson)
  78. andreka:        h2644and@ella.hu                        (Hajnal Andreka)
  79. apt:            apt@cs.utexas.edu                       (Krzystof Apt)
  80. arbib:          arbib@cs.usc.edu                        (Michael Arbib)
  81. arnold:         arnold@geocub.greco-prog.fr             (Andre Arnold)
  82. artemov:        sergei@artemov.mian.su                  (Sergei Artemov)
  83. asperti:        andrea.asperti@inria.fr                 (Andrea Asperti)
  84. astesiano:      astes@disi.unige.it                     (Egidio Astesiano)
  85. atkinson:       atkinson@math.toronto.edu               (Derek Atkinson)
  86. avron:          aa@math.tau.ac.il                       (Arnon Avron)
  87. bach:           rene@tech.ascom.ch                      (Rene Bach)
  88. baez:           baez@ucrmath.ucr.edu                    (John Baez)
  89. baker:          kab@math.ucla.edu                       (Kirby Baker)
  90. baker-finch:    clem@echo.canberra.edu.au               (Clem Baker-Finch)
  91. baranoff:       sergei@hm.iias.spb.su                   (Sergei Baranoff)
  92. barr:           barr@triples.math.mcgill.ca             (Michael Barr)
  93. bartle:         rgb@math.ams.com                        (Bob Bartle)
  94. barwise:        barwise@phil.indiana.edu                (Jon Barwise)
  95. beck:           beck@math.cornell.edu                   (Jon Beck)
  96. bednarczyk:     panmb@halina.univ.gda.pl                (Marek Bednarczyk)
  97. beeson:         beeson@ucscc.ucsc.edu                   (Michael Beeson)
  98. beigel:         beigel-richard@cs.yale.edu              (Richard Beigel)
  99. bellin:         glb@dcs.edinburgh.ac.uk                 (Gian-Luigi Bellin)
  100. benson:         dbenson@eecs.wsu.edu                    (David Benson)
  101. vanbenthem:     johan@fwi.uva.nl                        (Johan.van Benthem)
  102. bergman:        gbergman@cartan.berkeley.edu            (George Bergman)
  103. bergstra:       madelon@fwi.uva.nl                      (Jan Bergstra)
  104. berry:          berry@cma.cma.fr                        (Gerard Berry)
  105. betti:          renbet@ipmma1.polimi.it                 (Renato Betti)
  106. bhadhuri:       pbhaduri@cs2.cs.wsu.edu                 (Purandar Bhadhuri)
  107. bier:           eric_bier.parc@xerox.com                (Eric Bier)
  108. birtwistle:     graham@cpsc.ucalgary.ca                 (Graham Birtwistle)
  109. blair:          ziggy@hx.lcs.mit.edu                    (Michael Blair)
  110. blass:          blass@um.cc.umich.edu                   (Andreas Blass)
  111. bbloom:         bard@cs.cornell.edu                     (Bard Bloom)
  112. sbloom:         bloom@sparc1.stevens-tech.edu           (Steve Bloom)
  113. lblum:          lblum@ernie.berkeley.edu                (Lenore Blum)
  114. mblum:          blum@ernie.berkeley.edu                 (Manuel Blum)
  115. blute:          blute@triples.math.mcgill.ca            (Richard Blute)
  116. vanemdeboas:    pveb@cwi.nl                             (Peter.van.Emde Boas)
  117. boehm:          boehm.pa@xerox.com                      (Hans Boehm)
  118. boerger:        rboerger@mathstat.yorku.ca              (Reinhard Boerger)
  119. bonacina:       bonacina@sbcs.sunysb.edu                (M.Paola Bonacina)
  120. boolos:         boolos@athena.mit.edu                   (George Boolos)
  121. borceux:        borceux@agel.ucl.ac.be                  (Francis Borceux)
  122. jborwein:       jborwein@cs.dal.ca                      (Jon Borwein)
  123. pborwein:       pborwein@cs.dal.ca                      (Peter Borwein)
  124. borzyszkowski:  panab@halina.univ.gda.pl                (Andrzej Borzyszkowski)
  125. bouchard:       eomsg@acadvm1.uottawa.ca                (Monique Bouchard)
  126. boyer:          boyer@cli.com                           (Bob Boyer)
  127. bracho:         bracho@unamvm1.bitnet                   (Felipe Bracho)
  128. brauner:        tor@daimi.aau.dk                        (Torben Brauner)
  129. breazu:         val@cis.upenn.edu                       (Val Breazu-Tannen)
  130. breen:          breen@math.univ-paris13.fr              (Larry Breen)
  131. brink:          cbrink@ucthpx.uct.ac.za                 (Chris Brink)
  132. brinkman:       mabrink@nyx.uni-konstanz.de             (Hans-Berndt Brinkman)
  133. britz:          brtkat01@ucthpx.uct.ac.za               (Katarina Britz) 
  134. brock:          shb@sys.uea.ac.uk                       (Simon Brock)
  135. brookes:        brookes@b.gp.cs.cmu.edu                 (Steve Brookes)
  136. cbrown:         cbrown@cs.chalmers.se                   (Carolyn Brown)
  137. rbrown:         r.brown@vaxa.bangor.ac.uk               (Ronnie Brown)
  138. broy:           broy@informatik.tu-muenchen.de          (Manfred Broy)
  139. bruce:          kim@cs.williams.edu                     (Kim Bruce)
  140. brunner:        hbrunner@mun.bitnet                     (Herman Brunner)
  141. buckland:       richardb@macadam.mpce.mq.edu.au         (Richard Buckland)
  142. debukh:         ecomail@vms2.uni-c.dk                   (Per.de Bukh)
  143. bullejos:       mbullejos@ugr.es                        (Manuel Bullejos)
  144. buneman:        peter@cis.upenn.edu                     (Peter Buneman)
  145. bunge:          bunge@triples.math.mcgill.ca            (Marta Bunge)
  146. burroni:        burroni@mathp7.jussieu.fr               (Albert Burroni)
  147. burstall:       rb@dcs.edinburgh.ac.uk                  (Rod Burstall)
  148. buss:           sbuss@cs.ucsd.edu                       (Sam Buss)
  149. cannon:         cannon_j@maths.su.edu.au                (John Cannon)
  150. carboni:        carboni@vmimat.mat.unimi.it             (Aurelio Carboni)
  151. cardelli:       luca@src.dec.com                        (Luca Cardelli)
  152. carpenter:      carp@lcl.cmu.edu                        (Bob Carpenter)
  153. carr:           carrdm@snyplaba.bitnet                  (Donna Carr)
  154. carter:         nicola@mcgill1.bitnet                   (Nicola Carter)
  155. cartwright:     cork@rice.edu                           (Corky Cartwright)
  156. casley:         casley@cs.stanford.edu                  (Ross Casley)
  157. castellini:     g-castellini@upr1.upr.cun.edu           (G. Castellini)
  158. cerioli:        cerioli@disi.unige.it                   (Maura Cerioli)
  159. chandra:        ashok@watson.ibm.com                    (Ashok Chandra)
  160. chase:          chase@math.cornell.edu                  (Stephen Chase)
  161. chen:           uhchen@uxa.ecn.bgu.edu                  (Andy Chen)
  162. chinnici:       chinnici@hp2.sm.dsi.unimi.it            (Roberto Chinnici)
  163. chisala:        chisala@mango.apc.org                   (B.P. Chisala)
  164. choi:           choi@grad1.cis.upenn.edu                (Jin-Young Choi)
  165. chou:           chou@rascal.ics.utexas.edu              (Shang-Ching Chou)
  166. chu:            chu@ace.bsd.uchicago.edu                (Po-Hsiang Chu)
  167. clarke:         clarke@a.cs.cmu.edu                     (Ed Clarke)
  168. clote:          clote@bcuxs2.bc.edu                     (Peter Clote)
  169. cockett:        robin@cpsc.ucalgary.ca                  (Robin Cockett)
  170. cocquand:       coquande@margaux.inria.fr               (Thierry Cocquand)
  171. cohen:          avrac@computer-lab.cambridge.ac.uk      (Avra Cohen)
  172. comer:          comers@citadel.bitnet                   (Stephen Comer)
  173. rcooper:        cooper@cogsci.edinburgh.ac.uk           (Robin Cooper)
  174. scooper:        cooper@top.cis.syr.edu                  (Steve Cooper)
  175. coppey:         coppey@mathp7.jussieu.fr                (Luc Coppey)
  176. cosmadakis:     stavros@saul.cis.upenn.edu              (Stavros Cosmadakis)
  177. cowen:          mthmjc@ubvms.bitnet                     (Mike Cowen)
  178. crans:          crans@math.ruu.nl                       (Sjoerd Crans)
  179. crew:           crew@cs.stanford.edu                    (Roger Crew)
  180. crole:          rlc@doc.imperial.ac.uk                  (Roy Crole)
  181. crossley:       jnc@bruce.cs.monash.edu.au              (John Crossley)
  182. crow:           crow@csl.sri.com                        (Judy Crow)
  183. cruciani:       cruciani@vaxrma.infn.it                 (Rosanna Cruciani)
  184. cubric:         cubric@triples.math.mcgill.ca           (Djordje Cubric)
  185. curien:         curien@dmi.ens.fr                       (Pierre-Louis Curien)
  186. davey:          davey@latcs1.lat.edu.au                 (Brian Davey)
  187. davis:          davism@acf4.nyu.edu                     (Martin Davis)
  188. dawson:         rdawson@husky1.stmarys.ca               (Robert Dawson)
  189. degano:         degano@di.unipi.it                      (Pier-Paolo Degano)
  190. delfour:        delfour@cc.umontreal.ca                 (Michel Delfour)
  191. dershowitz:     nachum@cs.uiuc.edu                      (Nachum Dershowitz)
  192. diaconescu:     rdcbb@cunyvm.bitnet                     (Radu Diaconescu)
  193. diekert:        diekert@informatik.tu-muenchen.de       (Volker Diekert)
  194. diers:          diers@frcitl81.bitnet                   (Yves Diers)
  195. doh:            doh@ksuvax1.cis.ksu.edu                 (Kyung-Goo Doh)
  196. dolan:          v088kj6a@ubvms.cc.buffalo.edu           (James Dolan)
  197. dong:           xdong@clid.yorku.ca                     (Xiaomin Dong)
  198. doob:           mdoob@ccu.umanitoba.ca                  (Michael Doob)
  199. dragalin:       h2848dra@ella.hu                        (? Dragalin)
  200. duba:           duba@rice.edu                           (Bruce Duba)
  201. dubey:          rdubey@yoda.eecs.wsu.edu                (Rakesh Dubey)
  202. dubuc:          dcfden!edubuc@mate.edu.ar               (Eduardo Dubuc)
  203. duggan:         den@cs.umd.edu                          (Dominic Duggan)
  204. dunn:           dunn@iuvax.cs.indiana.edu               (Mike Dunn)
  205. duskin:         mthduskn@ubvms.bitnet                   (Jack Duskin)
  206. dybkjaer:       dybkjaer@ruc.dk                         (Hans Dybkjaer)
  207. edalat:         ae@doc.ic.ac.uk                         (Abbas Edalat)
  208. ehlers:         map010@bangor.ac.uk                     (Philip Ehlers)
  209. ehresmann:      ehres@mathp7.jussieu.fr                 (Andree Ehresmann)
  210. ehrhard:        ehrhard@ens.fr                          (Thomas Ehrhard)
  211. ehrlich:        ehrlich@inria.inria.fr                  (Bobby Ehrlich)
  212. vaneijck:       jve@cwi.nl                              (Jan.van Eijck)
  213. emerson:        a.emerson@cs.utexas.edu                 (Alan Emerson)
  214. enderton:       hbe@math.ucla.edu                       (Herb Enderton)
  215. engeler:        engeler@math.ethz.ch                    (Erwin Engeler)
  216. ernst:          mernst@theory.lcs.mit.edu               (Michael Ernst)
  217. fagin:          fagin@almaden.ibm.com                   (Ron Fagin)
  218. faro:           v068p76v@ubvmsa.bitnet                  (Emilio Faro)
  219. fasel:          jhf@lanl.gov                            (Joe Fasel)
  220. feferman:       sf@csli.stanford.edu                    (Sol Feferman)
  221. feigenbaum:     jf@research.att.com                     (Joan Feigenbaum)
  222. feldman:        d_feldman@unhh.bitnet                   (David Feldman)
  223. ferguson:       mike@tel.inrs.cdn                       (Michael Ferguson)
  224. fiedorowicz:    zigf@mps.ohio-state.edu                 (Zbigniew Fiedorowicz)
  225. finkelstein:    stacy@saul.cis.upenn.edu                (Stacy Finkelstein)
  226. fischer:        fischer-michael@cs.yale.edu             (Mike Fischer)
  227. fitting:        mlflc@cunyvm.bitnet                     (Melvin Fitting)
  228. floyd:          floyd@cs.stanford.edu                   (Bob Floyd)
  229. foo:            norman@cs.su.edu.au                     (Norman Foo)
  230. fourman:        mikef@dcs.edinburgh.ac.uk               (Michael Fourman)
  231. fox:            fox@triples.math.mcgill.ca              (Thomas Fox)
  232. freese:         ralph@kahuna.math.hawaii.edu            (Ralph Freese)
  233. frei:           bitnet.arfr@ubcmtsg                     (Armin Frei)
  234. freire:         freire@seins.santiago.usc.es            (J.L. Freire)
  235. freyd:          pjf@saul.cis.upenn.edu                  (Peter Freyd)
  236. pamfreyd:       pam@linc.cis.upenn.edu                  (Pam Freyd)
  237. fritsch:        ug143cb@sunmail.lrz-muenchen.de         (Rudolph Fritsch)
  238. fukushima:      fukushim@cpsc.ucalgary.ca               (Tom Fukushima)
  239. funk:           jfunk@morgan.ucs.mun.ca                 (Jonathan Funk)
  240. fusco:          sfusco@clid.yorku.ca                    (Sandro Fusco)
  241. gago:           alzzs002@seins.santiago.usc.es          (Felipe Gago)
  242. gaifman:        gaifman@humus.huji.ac.il                (Haim Gaifman)
  243. gallier:        jean@saul.cis.upenn.edu                 (Jean Gallier)
  244. ganong:         ganong@vm1.yorku.ca                     (Richard Ganong)
  245. gehlot:         gehlot@cis.udel.edu                     (Vijay Gehlot)
  246. gehrke:         wgehrke@risc.uni-linz.ac.at             (Wolfgang Gehrke)
  247. vangelder:      avg@cs.ucsc.edu                         (Allen.Van Gelder)
  248. genrich:        genrich@gmdzi.gmd.de                    (Hartmann Genrich)
  249. geramita:       anthony.v.geramita@queensu.ca           (Anthony Geramita)
  250. gerstenhaber:   gersten@penndrls.bitnet                 (Murray Gerstenhaber)
  251. gerth:          wsinrobg@eutrc3.urc.tue.nl              (Rob Gerth)
  252. ghelli:         ghelli@di.unipi.it                      (Giorgio Ghelli)
  253. ghilardi:       ghilardi@imiucca.csi.unimi.it           (Silvio Ghilardi)
  254. girard:         girard@margaux.inria.fr                 (Jean-Yves Girard)
  255. givant:         givant@mills.berkeley.edu               (Steve Givant)
  256. vanglabbeek:    rvg@cs.stanford.edu                     (Rob.van Glabbeek)
  257. glenn:          glenn@cua.edu                           (Paul Glenn)
  258. goguen:         joseph.goguen@prg.oxford.ac.uk          (Joseph Goguen)
  259. golasinski:     mg001@pltumk11.bitnet                   (Marek Golasinski)
  260. bgoldberg:      goldberg@cs.nyu.edu                     (Ben Goldberg)
  261. goldblatt:      rob@math.vuw.ac.nz                      (Rob Goldblatt)
  262. goltz:          gf1018@dbngmd21.bitnet                  (Ulla Goltz)
  263. goodaire:       edgar@munucs.mun.ca                     (Edgar Goodaire)
  264. goodloe:        agoodloe@gmuvax2.gmu.edu                (Al Goodloe)
  265. gordon:         gordon@euclid.math.temple.edu           (Bob Gordon)
  266. grandis:        grandis@prova.cisi.unige.it             (Marco Grandis)
  267. gratzer:        gratzer@ccm.umanitoba.ca                (George Gratzer)
  268. gray:           gray@math.uiuc.edu                      (John Gray)
  269. grove:          grove@cs.stanford.edu                   (Adam Grove)
  270. grunenfelder:   luzius@cs.dal.ca                        (Luzius Grunenfelder)
  271. gruska:         gruska@informatik.uni-hamburg.de        (Jozef Gruska)
  272. guessarian:     ig@litp.ibp.fr                          (Irene Guessarian)
  273. guitart:        guitart@mathp7.jussieu.fr               (Rene Guitart)
  274. gunawardena:    jhcg@hplb.hpl.hp.com                    (Jeremy Gunawardena) 
  275. cgunter:        gunter@central.cis.upenn.edu            (Carl Gunter)
  276. egunter:        elsa@research.att.com                   (Elsa Gunter)
  277. gupta:          vgupta@cs.stanford.edu                  (Vineet Gupta)
  278. gurevich:       gurevich@dip.eecs.umich.edu             (Yuri Gurevich)
  279. dhalpern:       jdan@sun.com                            (Dan Halpern)
  280. jhalpern:       halpern@almaden.ibm.com                 (Joe Halpern)
  281. hanna:          fkh@ukc.ac.uk                           (Keith Hanna)
  282. hardie:         hardieka@uctvax.uct.ac.za               (Kieth Hardie)
  283. harel:          harel@wisdom.weizmann.ac.il             (David Harel)
  284. harland:        jah@mullauna.cs.mu.edu.au               (James Harland)
  285. harper:         rwh@cs.cmu.edu                          (Robert Harper)
  286. hart:           wiawkph@dutrun2.tudelft.nl              (Klaas Hart)
  287. haveraaen:      magne.haveraaen@ii.uib.no               (Magne Haveraaen)
  288. hebert:         mhebert@mat.ulaval.ca                   (Michel Hebert)
  289. heckmann:       heckmann@cs.uni-sb.de                   (Reinhold Heckmann)
  290. heggie:         heggie@cad.uccb.ns.ca                   (Murray Heggie)
  291. hennessy:       matthewh@cogs.sussex.ac.uk              (Matthew Hennessy)
  292. henriksen:      henriksen@hmcvax.claremont.edu          (Mel Henriksen)
  293. henzinger:      tah@cs.stanford.edu                     (Tom Henzinger)
  294. herz:           herz@gauss.math.mcgill.ca               (Carl Herz)
  295. hill:           whill@netcom.com                        (Walt Hill)
  296. hillebrand:     ggh@cs.brown.edu                        (Gerd Hillebrand)
  297. hindley:        majrh@pyr.swan.ac.uk                    (Roger Hindley)
  298. hoare:          julie@prg.oxford.ac.uk                  (Tony Hoare)
  299. hodgson:        bhodgson@vm1.ulaval.ca                  (Bernard Hodgson)
  300. hoehnke:        gabi@opal.cs.tu-berlin.de               (Hans-Jurgen Hoehnke)
  301. hofmann:        mxh@dcs.ed.ac.uk                        (Martin Hofmann)
  302. honsell:        honsell@uduniv.cineca.it                (Furio Honsell)
  303. hoofman:        raymond@cs.ruu.nl                       (Raymond Hoofman)
  304. hook:           hook@cse.ogi.edu                        (James Hook)
  305. hopcroft:       jeh@cs.cornell.edu                      (John Hopcroft)
  306. howlett:        72740.2237@compuserve.com               (Chris Howlett)
  307. hsiang:         hsiang@sbcs.sunysb.edu                  (Jieh Hsiang)
  308. hu:             hu@math.mcgill.ca                       (Hong.de Hu)
  309. hudak:          hudak@cs.yale.edu                       (Paul Hudak)
  310. huet:           huet@inria.inria.fr                     (Gerard Huet)
  311. hunsaker:       ga3600@siucvmb.bitnet                   (W. Hunsaker)
  312. husberg:        nhu@dione.hut.fi                        (Nisse Husberg)
  313. huth:           mrh@tulmath.math.tulane.edu             (Michael Huth)
  314. hyland:         jmeh1@phoenix.cambridge.ac.uk           (Martin Hyland)
  315. israel:         israel@ai.sri.com                       (David Israel)
  316. istrail:        sistrail@eagle.wesleyan.edu             (Soren Istrail)
  317. ito:            ito@ito.ecei.tohoku.junet               (Takayasu Ito)
  318. iyer:           ramu@cadsun.corp.mot.com                (Ramu Iyer)
  319. jacobs:         bjacobs@math.ruu.nl                     (Bart Jacobs)
  320. jaffar:         joxan@watson.ibm.com                    (Joxan Jaffar)
  321. jagadeesan:     rj2@doc.imperial.ac.uk                  (Radha Jagadeesan)
  322. james:          wjames@adam.adelaide.edu.au             (William James)
  323. janssen:        theo@fwi.uva.nl                         (Theo Janssen)
  324. jardine:        jardine@uwovax.uwo.ca                   (John Jardine)
  325. jay:            cbj@socs.uts.edu.au                     (Barry Jay)
  326. jeffrey:        alan.jeffrey@prg.oxford.ac.uk           (Alan Jeffrey)
  327. jenkins:        maj@qucis.bitnet                        (Mike Jenkins)
  328. mjohnson:       mike@macadam.mpce.mq.edu.au             (Mike Johnson)
  329. pjohnson:       pjohnson@eagle.wesleyan.edu             (Paul Johnson)
  330. jonsson:        jonsson@athena.cas.vanderbilt.edu       (Bjarni Jonsson)
  331. jouvelot:       jouvelot@ensmp.fr                       (Pierre Jouvelot)
  332. joyal:          joyal@math.uqam.ca                      (Andre Joyal)
  333. joyce:          djoyce@ollie.clarku.edu                 (David Joyce)
  334. jung:           jung@mathematik.th-darmstadt.de         (Achim Jung)
  335. kahn:           kahn@mirsa.inria.fr                     (Gilles Kahn)
  336. kane:           kane@uwovax.uwo.ca                      (Richard Kane)
  337. kanellakis:     pck@cs.brown.edu                        (Paris Kanellakis)
  338. kao:            kao@iuvax.cs.indiana.edu                (Ming Kao)
  339. kapranov:       kapranov@mssun7.msi.cornell.edu         (Mikhail Kapranov)
  340. karp:           karp@ernie.berkeley.edu                 (Dick Karp)
  341. kasangian:      kasan@vmimat.mat.unimi.it               (Stefano Kasangian)
  342. kelly:          kelly_m@maths.su.edu.au                 (Max Kelly)
  343. kennaway:       jrk@sys.uea.ac.uk                       (Richard Kennaway)
  344. kennison:       jkennison@clarku                        (John Kennison)
  345. kent:           rekent@ualr.edu                         (Robert Kent)
  346. kfoury:         kfoury@bu-cs.bu.edu                     (Dennis Kfoury)
  347. kieboom:        rkieboom@tena2.vub.ac.be                (Rudger Kieboom)
  348. kiehn:          kiehn@informatik.tu-muenchen.de         (Astrid Kiehn)
  349. klarlund:       klarlund@cs.cornell.edu                 (Nils Klarlund)
  350. kleisli:        kleisli@cfruni52.bitnet                 (Heinrich Kleisli.)
  351. klop:           jwk@cwi.nl                              (Jan Klop)
  352. knijnenburg:    peterk@cs.ruu.nl                        (Peter Knijnenburg)
  353. knobel:         andreas@etl.go.jp                       (Andreas Knobel)
  354. knutson:        allenk@ugcs.caltech.edu                 (Allan Knutson)
  355. kochman:        kochman@nexus.yorku.ca                  (Stanley Kochman)
  356. kock:           matak@mi.aau.dk                         (Anders Kock)
  357. kolaitis:       kolaitis@cs.ucsc.edu                    (Phokion Kolaitis)
  358. kondoh:         kondoh@harl.hitachi.co.jp               (Hidetaka Kondoh)
  359. koslowski:      koslowj@math.ksu.edu                    (Juergen Koslowski)
  360. kozen:          kozen@cs.cornell.edu                    (Dexter Kozen)
  361. kwiatkowska:    mzk@leicester.ac.uk                     (Marta Kwiatkowska)
  362. labella:        labella@sci.uniroma1.it                 (Anna Labella)
  363. labute:         labute@gauss.math.mcgill.ca             (John Labute)
  364. ladkin:         ladkin@icsib8.berkeley.edu              (Peter Ladkin)
  365. ladner:         ladner@cs.washington.edu                (Richard Ladner)
  366. lafont:         lafont@dmi.ens.fr                       (Yves Lafont)
  367. lair:           lair@mathp7.jussieu.fr                  (Christian Lair)
  368. lamarche:       gfl@doc.ic.ac.uk                        (Francois Lamarche)
  369. lambe:          lambe@math.ethz.ch                      (Larry Lambe)
  370. lambek:         lambek@triples.math.mcgill.ca           (Joachim Lambek)
  371. lampe:          lampe@kahuna.math.hawaii.edu            (Bill Lampe)
  372. lamport:        lamport@src.dec.com                     (Leslie Lamport)
  373. lassez:         jll@watson.ibm.com                      (Jean-Louis Lassez)
  374. latch:          dml@bklyncis.bitnet                     (Dana Latch)
  375. launchbury:     jl@dcs.glasgow.ac.uk                    (John Launchbury)
  376. lawvere:        mthfwl@ubvmsb.cc.buffalo.edu            (Bill Lawvere)
  377. leavens:        leavens@iastate.edu                     (Gary Leavens)
  378. leeney:         stmt8015@iruccvax.ucc.ie                (Mark Leeney)
  379. leivant:        leivant@cs.indiana.edu                  (Daniel Leivant)
  380. lent:           aflent@theory.lcs.mit.edu               (Arthur Lent)
  381. levin:          lnd@cs.bu.edu                           (Leonid Levin)
  382. liao:           aliao@eagle.wesleyan.edu                (Andrew Liao)
  383. libkin:         libkin@saul.cis.upenn.edu               (Leonid Libkin)
  384. lifschitz:      lifschitz@cs.stanford.edu               (Vladimir Lifschitz)
  385. lilius:         jli@dione.hut.fi                        (Johan Lilius)
  386. lincoln:        lincoln@cs.stanford.edu                 (Pat Lincoln)
  387. linton:         flinton@eagle.wesleyan.edu              (Fred Linton)
  388. lipton:         lipton@saul.cis.upenn.edu               (Jim Lipton)
  389. loader:         loader@maths.oxford.ac.uk               (Ralph Loader)
  390. longo:          longo@dmi.ens.fr                        (Giuseppe Longo)
  391. lord:           hlord@csupomona.edu                     (Harriet Lord)
  392. loui:           mloui@note.nsf.gov                      (Michael Loui)
  393. lowry:          lowry@kestrel.edu                       (Mike Lowry)
  394. lubarsky:       r_lubarsky@faudm.bitnet                 (Robert Lubarsky)
  395. lubliner:       coby@ucbcevax.bitnet                    (Coby Lubliner)
  396. luckham:        dcl@anna.stanford.edu                   (David Luckham)
  397. lynch:          lynch@holmes.lcs.mit.edu                (Nancy Lynch)
  398. ma:             qingming.ma@cs.cmu.edu                  (Qingming Ma)
  399. maccaull:       maccaull@essex.stfx.ca                  (Wendy MacCaull)
  400. macdonald:      macstone@bdc.ubc.ca                     (John MacDonald)
  401. macleod:        richardm@kean.ucs.mun.ca                (Richard MacLeod)
  402. mackenzie:      pm1kchm@primea.sheffield.ac.uk         (K.Charles.H. Mackenzie)
  403. mackie:         im@doc.ic.ac.uk                         (Ian Mackie)
  404. macon:          nmacon@nsf.gov                          (Nat Macon)
  405. macqueen:       macqueen@research.att.com               (David Macqueen)
  406. maddux:         maddux@iastate.edu                      (Roger Maddux)
  407. madhav:         madhav@neon.stanford.edu                (Neel Madhav)
  408. mahmood:        arshad@dcs.edinburgh.ac.uk              (H. Mahmood)
  409. main:           main@boulder.colorado.edu               (Michael Main)
  410. majid:          shm10@phx.cam.ac.uk                     (Shahn Majid)
  411. makkai:         makkai@triples.math.mcgill.ca           (Michael Makkai)
  412. manes:          manes@math.umass.edu                    (Ernie Manes)
  413. manna:          manna@cs.stanford.edu                   (Zohar Manna)
  414. marmolejo:      marmol@cs.dal.ca                        (Francisco Marmolejo)
  415. marshall:       marshacd@snypotva.potsdam.edu           (Charlie Marshall)
  416. marti-oliet:    narciso@csl.sri.com                     (Narciso Marti-Oliet)
  417. martini:        martini@di.unipi.it                     (Simone Martini)
  418. mathieu:        momathie@mathp7.jussieu.fr              (Monique Mathieu)
  419. mauri:          mauri@hermes.dsi.unimi.it               (Giancarlo Mauri)
  420. mawanda:        mawanda@mango.apc.org                   (M.W. Mawanda)
  421. mccoll:         wfm@prg.oxford.ac.uk                    (Bill McColl)
  422. jmckay:         mckay@conu1.bitnet                      (John McKay)
  423. wmckay:         wendy@cc.umontreal.ca                   (Wendy McKay)
  424. mclarty:        cxm7@po.cwru.edu                        (Colin McLarty)
  425. mcnulty:        mcnulty@milo.math.scarolina.edu         (George McNulty)
  426. mcrobbie:       mam@arp.anu.edu.au                      (Michael McRobbie)
  427. measor:         ndm@mcs.le.ac.uk                        (Nick Measor)
  428. meloni:         meloni@imiucca.unimi.it                 (Gian.Carlo Meloni)
  429. melton:         austin@cis.ksu.edu                      (Austin Melton)
  430. mercouroff:     nm@cs.brandeis.edu                      (Nicolas Mercouroff)
  431. meseguer:       meseguer@csl.sri.com                    (Jose Meseguer)
  432. meyer:          meyer@theory.lcs.mit.edu                (Albert Meyer)
  433. milner:         rm@dcs.edinburgh.ac.uk                  (Robin Milner)
  434. mints:          mints@csli.stanford.edu                 (Grigori Mints)
  435. mislove:        mwm@tulmath.math.tulane.edu             (Michael Mislove)
  436. misra:          misra@cs.utexas.edu                     (Jay Misra)
  437. mitchell:       jcm@cs.stanford.edu                     (John Mitchell)
  438. miyoshi:        miyoshi@slab.sfc.keio.ac.jp             (Hiroyuki Miyoshi)
  439. mochnacki:      stefan@centaur.astro.utoronto.ca        (Stefan Mochnacki)
  440. moerdijk:       moerdijk@math.ruu.nl                    (Ieke Moerdijk)
  441. moggi:          moggi@disi.unige.it                     (Eugenio Moggi)
  442. moller:         fm@dcs.edinburgh.ac.uk                  (Faron Moller)
  443. molnar:         molnar@math.macalstr.edu                (Richard Molnar)
  444. monro:          monro_g@maths.su.edu.au                 (Gordon Monro)
  445. montanari:      ugo@di.unipi.it                         (Ugo Montanari)
  446. demoor:         oege.de.moor@prg.oxford.ac.uk           (Oege.de Moor)
  447. moschovakis:    ynm@math.ucla.edu                       (Yiannis Moschovakis)
  448. moshier:        mam@pic.ucla.edu                        (Drew Moshier)
  449. moss:           lmoss@ucs.indiana.edu                   (Larry Moss)
  450. mosses:         pdmosses@daimi.aau.dk                   (Peter Mosses)
  451. muller:         muller@harvard.edu                      (Robert Muller)
  452. mulry:          psm@dcs.edinburgh.ac.uk                 (Phil Mulry)
  453. mulvey:         c.j.mulvey@cluster.sussex.ac.uk         (Chris Mulvey)
  454. mumford:        mumford@zariski.harvard.edu             (David Mumford)
  455. murphy:         david@gmdzi.gmd.de                      (David Murphy)
  456. murthy:         murthy@cs.cornell.edu                   (Chet Murthy)
  457. murty:          murty@gauss.math.mcgill.ca              (Ram Murty)
  458. nation:         nation@kahuna.math.hawaii.edu           (James.B. Nation)
  459. nelson:         nealn@cse.ogi.edu                       (Neal Nelson)
  460. nerode:         nerode@mssun6.msi.cornell.edu           (Anil Nerode)
  461. nickau:         nickau@hrz.uni-siegen.de                (Hanno Nickau)
  462. denicola:       denicola@icnucevm.cnuce.cnr.it          (Rocco.De Nicola)
  463. niefield:       niefiels@gar.union.edu                  (Susan Niefield)
  464. nowakowski:     rjn@cs.dal.ca                           (Richard Nowakowski)
  465. ohearn:         ohearn@top.cis.syr.edu                  (Peter Ohearn)
  466. ohori:          ohori@okilab.oki.co.jp                  (Atsushi Ohori)
  467. okada:          okada@concour.cs.concordia.ca           (Mitsu Okada)
  468. oles:           oles@watson.ibm.com                     (Frank Oles)
  469. ong:            chlo1@cl.cam.ac.uk                      (Luke Ong)
  470. oosten:         oosten@math.ruu.nl                      (J.van Oosten)
  471. orzech:         orzechm@qucdn.bitnet                    (Morris Orzech)
  472. otto:           otto@triples.math.mcgill.ca             (Jim Otto)
  473. overbeek:       overbeek@anl-mcs.arpa                   (Russ Overbeek)
  474. depaiva:        valeria.paiva@cl.cam.ac.uk              (Valeria.de Paiva)
  475. panangaden:     prakash@opus.cs.mcgill.ca               (Prakash Panangaden)
  476. papert:         seymour@media-lab.media.mit.edu         (Seymour Papert)
  477. pare:           pare@cs.dal.ca                          (Bob Pare)
  478. parikh:         ripbc@cunyvm.cuny.edu                   (Rohit Parikh)
  479. parker:         stott@cs.ucla.edu                       (Stott Parker)
  480. mpaterson:      msp@dcs.warwick.ac.uk                   (Mike Paterson)
  481. rpaterson:      rap@doc.ic.ac.uk                        (Ross Paterson)
  482. paulson:        lcp@cl.cam.ac.uk                        (Larry Paulson)
  483. pavlovic:       pavlovic@triples.math.mcgill.ca         (Dusko Pavlovic)
  484. pearson:        jkp@ukc.ac.uk                           (Justin Pearson)
  485. peckhaus:    volker.v.peckhaus@pc.philosophie.uni-erlangen.de (Volker Peckhaus)
  486. pedicchio:      pedicchi@univ.trieste.it                (Cristina Pedicchio)
  487. pelletier:      jwpell@vm2.yorku.ca                     (Joan Pelletier)
  488. penon:          penon@mathp7.jussieu.fr                 (Jean Penon)
  489. peters:         stanley.peters@prg.ox.ac.uk             (Stanley Peters)
  490. pettorossi:     adp@irmiasi.rm.cnr.it                   (Alberto Pettorossi)
  491. pfenniger:      mas034@vaxa.bangor.ac.uk                (Markus Pfenniger)
  492. phillips:       phillips@uvvm.bitnet                    (John Phillips)
  493. pierce:         benjamin.pierce@cs.cmu.edu              (Benli Pierce)
  494. pigozzi:        pigozzi@iastate.edu                     (Don Pigozzi)
  495. pinter:         pinter-shlomit@cs.yale.edu              (Shlomit Pinter)
  496. pitt:           dhp@mcs.surrey.ac.uk                    (David Pitt)
  497. pitts:          ap@cl.cam.ac.uk                         (Andy Pitts)
  498. plaice:         plaice@ift.ulaval.ca                    (John Plaice)
  499. plaisted:       plaisted@cs.unc.edu                     (David Plaisted)
  500. platek:         richard@oracorp.com                     (Richard Platek)
  501. platt:          ccm.umanitoba.ca                        (Craig Platt)
  502. plotkin:        gdp@dcs.edinburgh.ac.uk                 (Gordon Plotkin)
  503. pnueli:         amir@wisdom.weizmann.ac.il              (Amir Pnueli)
  504. poigne:         ap@gmdzi.gmd.de                         (Axel Poigne)
  505. poirot:         poirot@boole.stanford.edu               (Hercule Poirot)
  506. pollara:        pollara@csearn.bitnet                   (Victor Pollara)
  507. porst:          porst@ubrinf.uucp                       (H.-E. Porst)
  508. porter:         mas013@vaxc.bangor.ac.uk                (Tim Porter)
  509. power:          ajp@dcs.edinburgh.ac.uk                 (John Power)
  510. pratt:          pratt@cs.stanford.edu                   (Vaughan Pratt)
  511. priestley:      hap@vax.oxford.ac.uk                    (Hilary Priestley)
  512. probst:         probst@bond.crim.ca                     (Richard Probst)
  513. proute:         ap@mathp7.jussieu.fr                    (Alain Proute)
  514. pym:            dpym@dcs.edinburgh.ac.uk                (David Pym)
  515. quackenbush:    bquack@ccm.umanitoba.ca                 (Bob Quackenbush)
  516. rabin:          rabin@humus.huji.ac.il                  (Michael Rabin)
  517. rabinovich:     alik@watson.ibm.com                     (Alexander Rabinovich)
  518. rachev:         zarirach@bernoulli.ucsb.edu             (Zari Rachev)
  519. raja:           raja@tifrvax.bitnet                     (N. Raja)
  520. ramshaw:        ramshaw@src.dec.com                     (Lyle Ramshaw)
  521. randall:        randall@elbereth.rutgers.edu            (John Randall)
  522. raphael:        raphael@vax2.concordia.ca               (Robert Raphael)
  523. rattray:        cr@cs.stir.ac.uk                        (Charles Rattray)
  524. remmel:         remmel@kleene.ucsd.edu                  (Jeff Remmel)
  525. repin:          repin@log.mian.su                       (Nikolai Repin)
  526. reyes:          reyes@mathcn.umontreal.ca               (Gonzalo Reyes)
  527. reynolds:       john.reynolds@c.cs.cmu.edu              (John Reynolds)
  528. riecke:         riecke@theory.lcs.mit.edu               (Jon Riecke)
  529. riemens:        sriemens@vega.math.ualberta.ca        (Sherman Riemenschneider)
  530. ritter:         er@cl.cam.ac.uk                         (Eike Ritter)
  531. erobinson:      edmundr@cogs.susx.ac.uk                 (Edmund Robinson)
  532. krobinson:      kenr@elecvac.oz.au                      (Ken Robinson)
  533. deroever:       wsinwpr@eutrc3.urc.tue.nl               (Willem.de Roever)
  534. rolfsen:        dale_rolfsen@mtsg.ubc.ca                (Dale Rolfsen)
  535. roman:          lr@doc.ic.ac.uk                         (Leopoldo Roman)
  536. rosebrugh:      rrosebrugh@macc2.mta.ca                 (Bob Rosebrugh)
  537. rosenthal:      rosenthk@gar.union.edu                  (Kimmo Rosenthal)
  538. rosicky:        rosicky@queen.math.muni.cs              (Jiri Rosicky)
  539. rosolini:       rosolini@dima.unige.it                  (Pino Rosolini)
  540. rossello:       dmifrl0@ps.uib.es                       (Cesc Rossello)
  541. rota:           rota@math.mit.edu                       (Gian-Carlo Rota)
  542. rotman:         rotman@symcom.math.uiuc.edu             (Joseph Rotman)
  543. rounds:         rounds@engin.umich.edu                  (Bill Rounds)
  544. rousseau:       geo@leicester.ac.uk                     (George Rousseau)
  545. rovan:          uniba!rovan@relay.eu.net                (Branislav Rovan)
  546. rozenberg:      rozenber@rulcri.leidenuniv.nl           (Grzegor Rozenberg)
  547. rozenfeld:      ar@alv.umd.edu                          (Azriel Rozenfeld)
  548. rudich:         arie@theory.lcs.mit.edu                 (Arie Rudich)
  549. rudie:          rudie@ecfb.toronto.edu                  (Karen Rudie)
  550. ruitenburg:     wimr@math.mscs.mu.edu                   (Wim Ruitenburg)
  551. rumbos:         rumbos@unamvm1.dgsca.unam.mx            (Beatriz Rumbos)
  552. rus:            rus@herky.cs.uiowa.edu                  (Theodor Rus)
  553. rutten:         jan.rutten@cwi.nl                       (Jan Rutten)
  554. rydeheard:      david@r3.cs.man.ac.uk                   (David Rydeheard)
  555. sain:           h1468sai@ella.hu                        (Ildiko Sain)
  556. sakurai:        a87480@tansei.cc.u-tokyo.ac.jp          (Takafumi Sakurai)
  557. sankappanevar:  sankah@snynewba.bitnet        (Hanamantagouda.P. Sankappanevar)
  558. sannella:       dts@dcs.edinburgh.ac.uk                 (Don Sannella)
  559. santas:         santas@inf.ethz.ch                      (Philip Santas)
  560. saraswat:       saraswat@parc.xerox.com                 (Vijay Saraswat)
  561. sassone:        vladi@di.unipi.it                       (Vladimir Sassone)
  562. sato:           schuko@sun4.cc.kyushu-u.ac.jp           (Hiroyuki Sato)
  563. scedrov:        andre@cis.upenn.edu                     (Andre Scedrov)
  564. schack:         mthsds@ubvms.bitnet                     (Samuel Schack)
  565. schelter:       wfs@cli.com                             (Bill Schelter)
  566. schmidt:        jschmidt@daimi.dk                       (Jorn Schmidt)
  567. schroeppel:     rcs@la.tis.com                          (Rich Schroeppel)
  568. schumacher:     dietmar@ace.acadiau.ca                  (Dietmar Schumacher)
  569. scollo:         scollo@cs.utwente.nl                    (Giuseppe Scollo)
  570. scot:           gyro-cs@zeta-soft.com                   (Burson Scot)
  571. dscott:         dscott@risc.uni-linz.ac.at              (Dana Scott)
  572. scott:          scpsg@acadvm1.uottawa.ca                (Phil Scott)
  573. seely:          rags@triples.math.mcgill.ca             (Robert Seely)
  574. seldin:         seldin@alcor.concordia.ca               (Jonathan Seldin)
  575. seligman:       jerry@phil.indiana.edu                  (Jerry Seligman)
  576. shankar:        shankar@csl.sri.com                     (Natarajan Shankar)
  577. shapiro:        udi@wisdom.weizmann.ac.il               (Udi Shapiro)
  578. shieber:        shieber@das.harvard.edu                 (Stuart Shieber)
  579. shields:        m.shields@mcs.surrey.ac.uk              (Mike Shields)
  580. sichler:        sichler@ccm.umanitoba.ca                (Jiri Sichler)
  581. kurt:           sieber@cs.uni-sb.de                     (Kurt Sieber)
  582. isimon:         is@ime.usp.br                           (Imre Simon)
  583. simons:         simons@karlsruhe.gmd.de                 (Martin Simons)
  584. slifker:        slifker@svax.cs.cornell.edu             (Michael Slifker)
  585. smaill:         smaill@aipna.edinburgh.ac.uk            (Alan Smaill)
  586. small:          nwnexus!cjsa!jeff@uunet.uu.net          (Jeffery Small)
  587. gsmith:         dalcs!gretchen@uunet.uu.net             (Gretchen Smith)
  588. ssmith:         scott@cs.jhu.edu                        (Scott Smith)
  589. gsmolka:        smolka@dfki.uni-sb.de                   (Gert Smolka)
  590. ssmolka:        sas@cs.sunysb.edu                       (Scott Smolka)
  591. soare:          soare@gargoyle.uchicago.edu             (Bob Soare)
  592. sobral:         sobral@ciuc2.uc.rccn.pt                 (Manuela Sobral)
  593. sokolowski:     panss@halina.univ.gda.pl                (Stefan Sokolowski)
  594. spencer:        dwights@cse.ogi.edu                     (Dwight Spencer)
  595. spooner:        spoonerd@cpsc.ucalgary.ca               (Dave Spooner)
  596. spreen:         spreen@hrz.uni-siegen.de                (Dieter Spreen)
  597. srinivas:       srinivas@kestrel.edu                    (Yellamraju Srinivas)
  598. staples:        staples@uqcspe.cs.uq.edu.au             (John Staples)
  599. stark:          stark@cs.sunysb.edu                     (Eugene Stark)
  600. stasheff:       jds@charlie.math.unc.edu                (James Stasheff)
  601. steele:         steele@think.com                        (Guy Steele)
  602. steiner:        maths@vme.gla.ac.uk                     (Richard Steiner)
  603. stell:          john@cs.kl.ac.uk                        (John Stell)
  604. stewart:        cstewart@watserv1.uwaterloo.ca          (Cameron Stewart)
  605. stolboushkin:   aps1@node.ias.msk.su                    (Alex Stolboushkin)
  606. astone:         macstone@bdc.ubc.ca                     (Art Stone)
  607. stoughton:      allen@cogs.sussex.ac.uk                 (Allen Stoughton)
  608. stout:          lnstout@uxh.cso.uiuc.edu                (Lawrence Stout)
  609. strecker:       strecker@galois.math.ksu.edu            (George Strecker)
  610. street:         street@macadam.mpce.mq.edu.au           (Ross Street)
  611. streicher:      streiche@informatik.uni-muenchen.de     (Thomas Streicher)
  612. subrahmanyam:   ramesh@linc.cis.upenn.edu               (Ramesh Subrahmanyam)
  613. subramanian:    cayley@tifrvax.bitnet                   (P.S. Subramanian)
  614. suenderhauf:    sunderhauf@mathematik.th-darmstadt.de   (Phillipp Suenderhauf)
  615. sun:            ys4@mcs.le.ac.uk                        (Yong Sun)
  616. suppes:         suppes@csli.stanford.edu                (Pat Suppes)
  617. suzuki:         dai@is.s.u-tokyo.ac.jp                  (Daisuke Suzuki)
  618. svensson:       svensson@unixg.ubc.ca                   (Anders Svensson)
  619. swaminathan:    swami@cs.dal.ca                         (S. Swaminathan)
  620. szabo:          szabo@vax2.concordia.ca                 (Fred Szabo)
  621. takayama:       takayama@cs.ritsumei.ac.jp              (Yukihide Takayama)
  622. talcott:        clt@sail.stanford.edu                   (Carolyn Talcott)
  623. tatsuta:        tatsuta@sato.riec.tohoku.ac.jp          (Makoto Tatsuta)
  624. taubner:        taubner@informatik.tu-muenchen.de       (Dirk Taubner)
  625. paultaylor:     pt@doc.ic.ac.uk                         (Paul Taylor)
  626. philiptaylor:   p.taylor@vax.rhbnc.ac.uk                (Philip Taylor)
  627. wtaylor:        wtaylor@boulder.colorado.edu            (Walt Taylor)
  628. tennent:        rdt@qucis.queensu.ca                    (Bob Tennent)
  629. thiagarajan:    pst@ssf.ernet.in                        (P.S. Thiagarajan)
  630. tholen:         tholen@vm1.yorku.ca                     (Walter Tholen)
  631. thomson:        tom@nw.stl.stc.co.uk                    (Tom Thomson)
  632. thurston:       wpt@math.princeton.edu                  (Bill Thurston)
  633. tierney:        tierney@math.uqam.ca                    (Myles Tierney)
  634. tiuryn:         tiuryn@cs.bu.edu                        (Jerzy Tiuryn)
  635. tonks:          map003@vaxa.bangor.ac.uk                (Andy Tonks)
  636. trakhtenbrot:   trakhte@math.tau.ac.il                  (Boris Trakhtenbrot)
  637. tranah:         dt105@phoenix.cambridge.ac.uk           (David Tranah)
  638. trnkova:        ummvt@csearn.bitnet                     (Vera Trnkova)
  639. tschantz:       tschantz@athena.cas.vanderbilt.edu      (Steve Tschantz)
  640. tsuiki:         tsuiki@kurims.kyoto-u.ac.jp             (Hideki Tsuiki)
  641. turbak:         lyn@zurich.ai.mit.edu                   (Franklyn Turbak)
  642. turi:           turi@cwi.nl                             (Daniele Turi)
  643. urquhart:       urquhart@ai.toronto.edu                 (Alasdair Urquhart)
  644. valeriote:      matt@johnny.math.mcmaster.ca            (Matt Valeriote)
  645. valiente:       dmigva0@ps.uib.es                       (Gabriel Valiente)
  646. vanosdol:       d_vanosdol@unhh.unh.edu                 (Donovan Van.Osdol)
  647. vardi:          vardi@almaden.ibm.com                   (Moshe Vardi)
  648. velinov:        velinov@p39.f1.n721.z5.fidonet.org      (Yuri Velinov)
  649. verity:         domv@macadam.mpce.mq.edu.au             (Dominic Verity)
  650. (vermeulen:      jjcvmath.uctvax@f4.n494.z5             Japie Vermeulen)
  651. verwer:         nico@cs.ruu.nl                          (Nico Verwer)
  652. vianu:          vdvianu@ucsd.edu                        (Victor Vianu)
  653. vickers:        sjv@doc.ic.ac.uk                        (Steve Vickers)
  654. vigna:          vigna@pippo.sm.dsi.unimi.it             (Sebastiano Vigna)
  655. vilcius:        vilcius@clid.yorku.ca                   (Al Vilcius)
  656. vitanyi:        paulv@cwi.nl                            (Paul Vitanyi)
  657. voevodsky:      vladimir@math.harvard.edu               (Vladimir Voevodsky)
  658. devries:        ferjan@cwi.nl                           (Fer-jan.de Vries)
  659. waarts:         orli@cs.stanford.edu                    (Orli Waarts)
  660. wachter:        wachter@itd.nrl.navy.mil                (Ralph Wachter)
  661. wadler:         wadler@dcs.glasgow.ac.uk                (Philip Wadler)
  662. kwagner:         kwagner@risc.uni-linz.ac.at            (Kim Wagner)
  663. ewagner:         wagner@watson.ibm.com                  (Eric Wagner)
  664. wald:           wald@theory.lcs.mit.edu                 (David Wald)
  665. walicki:        michal@eik.ii.uib.no                    (Michal Walicki)
  666. wallen:         lw@prg.ox.ac.uk                         (Lincoln Wallen)
  667. walters:        walters_b@maths.su.edu.au               (Bob Walters)
  668. wand:           wand@corwin.ccs.northeastern.edu        (Mitchell Wand)
  669. wasilewska:     anita@sbcs.sunysb.edu                   (Anita Wasilewska)
  670. wells:          cfw2@po.cwru.edu                        (Charles Wells)
  671. wendt:          wendt@cs.dal.ca                         (Michael Wendt)
  672. white:          bwhite@inmet.inmet.com                  (Bill White)
  673. williams:       ewilliam@kean.ucs.mun.ca                (Ed Williams)
  674. winkler:        winkler@csl.sri.com                     (Timothy Winkler)
  675. winskel:        gwinskel@daimi.dk                       (Glynn Winskel)
  676. wirsing:        wirsing@unipas.fmi.uni-passau.de        (Martin Wirsing)
  677. wood:           rjwood@cs.dal.ca                        (Richard Wood)
  678. wraith:         gavinw@sussex.ac.uk                     (Gavin Wraith)
  679. wright:         gpwsg@acadvm1.uottawa.ca                (Graham Wright)
  680. wyler:          wyler@cs.cmu.edu                        (Oswald Wyler)
  681. yardini:        eyal@wisdom.weizmann.ac.il              (Eyal Yardini)
  682. yarroll:        piggy@baqaqi.chi.il.us                  (La.Monte Yarroll)
  683. yetter:         dyetter@math.ksu.edu                    (David Yetter)
  684. yoshida:        yoshida@icot.or.jp                      (Kaoru Yoshida)
  685. yoshiki:        yoshiki@etl.go.jp                       (Kinoshita Yoshiki)
  686. young:          young@xx.lcs.mit.edu                    (Jonathan Young)
  687. zawadowski:     warsaw@ccb.uib.es                       (Marek Zawadowski)
  688. zenith:         zenith@ensmp.fr                         (Steven Zenith)
  689. zhang:          gqz@caen.engin.umich.edu                (G.Q. Zhang)
  690. zocco:          dean.zocco@klb                          (Meg Zocco)
  691. #
  692. # Groups
  693. #
  694. categories:     categories@mta.bitnet                   (Category Theory)
  695. clics:          clics@doc.ic.ac.uk                      (ESPRIT CLiCS project)
  696. ic-seminars:    ic-theory-seminars@doc.ic.ac.uk         (Imperial College)
  697. pssl:           pssl@doc.ic.ac.uk    (Peripatetic Seminar on Sheaves and Logic)
  698. synthetic:      sdt-list@doc.ic.ac.uk                 (Synthetic Domain Theory)
  699. types:          types@dcs.gla.ac.uk                   (Polymorphic Type Theory)
  700.